Câu ví dụ
- thêm câu ví dụ: 1 2
- Có những bài toán là NP-khó nhưng không phải NP-đầy đủ, chẳng hạn bài toán dừng.
- Chương XIII ("Computable Functions") thảo luận về việc bài toán dừng không giải được trên máy Turing.
- Alan Turing chứng minh năm 1936 rằng không tồn tại thuật toán nào giải quyết bài toán dừng cho mọi cặp chương trình-dữ liệu vào.
- Luận cứ của ông có ý nghĩa cơ bản trong lời giải của bài toán dừng và phép chứng minh định lý thứ nhất về tính không đầy đủ của Gödel.
- Phiên bản online Đây là bài báo lịch sử định nghĩa máy Turing, bài toán dừng, và chứng minh nó (cùng với bài toán Entscheidungsproblem) là không giải được.